Geometric Models for Quasicrystals II. Local Rules Under Isometries

The atomic structures of quasicrystalline materials exhibit long range order under translations. It is believed that such materials have atomic structures which approximately obey local rules restricting the location of nearby atoms. These local constraints are typically invariant under rotations, and it is of interest to establish conditions under which such local rules can nevertheless enforce order under translations in any structure that satisses them. A set of local rules L in R n is a nite collection of discrete sets fY i g containing 0, each of which is contained in the ball of radius around 0 in R n. A set X satisses the local rules L under isometries if the-neighborhood of each x 2 X is isometric to an element of L. This paper gives suucient conditions on a set of local rules L such that if X satisses L under isometries, then X has a weak long-range order under translations, in the sense that X is a Delone set of nite type; A set X is a Delone set of nite type if it is a Delone set whose interpoint distance set X ? X is a discrete closed set. We show for each minimal Delone set of nite type X that there exists a set of local rules L such that X satisses L under isometries and all other Y that satisfy L under isometries are Delone sets of nite type. A set of perfect local rules (under isometries or under translations, respectively) is a set of local rules L such that all structures X that satisfy L are in the same local isomorphism class (under isometries or under translations, respectively). If a Delone set of nite type has a set of perfect local rules under translations, then it has a set of perfect local rules under isometries, and conversely.